//
// Created by liushuai on 12/14/19.
//
#include <iostream>
#include "output_integer.h"
void output(int i){
    std::cout<<i<<" ";
}
